System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
951	Type Inference Using the Cartesian Product Algorithm on a Dynamically Typed Language Steve Hanov University of Waterloo 200 University Avenue West Waterloo, Ontario, Canada N2L 3G1 Add to Reading List Source URL: stevehanov.ca Language: English - Date: 2010-09-30 13:17:04 Type theory Data types Object-oriented programming Compiler construction Theoretical computer science Type system Variable Data-flow analysis Static single assignment form Software engineering Computing Computer programming
952	Computing Technology: Created, Fallen, In Need Of Redemption? Joel C. Adams Department of Computer Science Calvin College Abstract If we accept the premise that computing technology is a part of the created order, then a Add to Reading List Source URL: www.calvin.edu Language: English - Date: 2002-08-29 14:10:31 Computation Computability Programming language Operating system Applied mathematics Science Theory of computation Lateral computing Turing Award Computer science Computing Computer
953	Support for Machine and Language Heterogeneity in a Distributed Shared State System ∗ Chunqiang Tang, DeQing Chen, Sandhya Dwarkadas, and Michael L. Scott Technical Report #783 Computer Science Department, University o Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2002-08-01 16:39:18 Data types Procedural programming languages Memory management Pointer Relocation Remote procedure call Object file Handle Transmission Control Protocol Computing Software engineering Computer programming
954	Natural Language Understanding using Temporal Action Logic Martin Magnusson Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden email: [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:39:30 Reasoning Knowledge representation Logic programming Epistemology Programming paradigms Reasoning system Knowledge representation and reasoning Frame problem Reason Science Artificial intelligence Logic
955	Plugin Development Guide Copyright 2008, Convirture Corp v[removed]Table of Contents Plugin Development Guide................................................................................................................. Add to Reading List Source URL: www.convirture.com Language: English - Date: 2008-09-25 18:25:41 Programming language implementation Xen Provisioning System software Software Virtual machines
956	DESIGN AND IMPLEMENTATION OF A DISTRIBUTED SYSTEMS LANGUAGE by Michael Lee Scott Computer Sciences Technical Report #596 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-26 01:39:39 Kernel Inter-process communication Operating system Server Thread Lynx Linda Parallel computing Network file systems Computing Concurrent computing Computer programming
957	PTU/BOS/BC[removed]BATCH[removed]NOTE 1. The scheme and detailed contents for 2002 and 2003 batches are same except BC-301 Mathematics-II (Computer Oriented ) and BC-403 Computer system Architecture has Add to Reading List Source URL: www.ptu.ac.in Language: English - Date: 2014-09-04 02:08:04 Software Diagram Computing Bc programming language N2
958	2013 Annual Conference on Advances in Cognitive Systems: Workshop on Goal Reasoning Breadth of Approaches to Goal Reasoning: A Research Survey Swaroop Vattam [removed] Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2014-05-07 15:00:29 Intelligent agent Reasoning system Automated planning and scheduling Goal-oriented Planner GOAL agent programming language 2APL Artificial intelligence Multi-agent systems Cognitive architecture
959	Wkshp. on Caching, Coherence, and Consistency (WC3), New York, NY, June 2002 JVM for a Heterogeneous Shared Memory System DeQing Chen, Chunqiang Tang, Sandhya Dwarkadas, and Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 00:13:33 Java platform Java virtual machine Java programming language Computing platforms Java Serialization Kaffe Application programming interface Pointer Computing Software Cross-platform software
960	,ch16[removed]Page 464 Friday, January 21, 2005 9:09 AM CHAPTER 16 Chapter 16 Add to Reading List Source URL: www.linuxinsight.com Language: English - Date: 2005-03-14 13:07:48 System software C programming language C++ Computer programming Device file Ioctl Inode Stat Struct Unix Computing Special purpose file systems

UPDATE